<!-- -*- html-helper -->
<html><head>
<title>Demo HTML file</title>
</head>
<body>
<h1>Demo HTML file</h1>
This is a simple HTML file served by Jetty.
<UL>
  <LI>How
  <LI>Now
  <LI>Brown
  <LI>Cow
</UL>
</body>
</html>
